[INFO] cloning repository https://github.com/alexjackson1/pickaxe
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/alexjackson1/pickaxe" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falexjackson1%2Fpickaxe", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falexjackson1%2Fpickaxe'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9cf087344e5edb829094efb3cd578cb31e744458
[INFO] testing alexjackson1/pickaxe against master#f9988fefd3add01f414f52b414308e7872622fee for pr-155114
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falexjackson1%2Fpickaxe" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/alexjackson1/pickaxe
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/alexjackson1/pickaxe
[INFO] tweaked toml for git repo https://github.com/alexjackson1/pickaxe written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/alexjackson1/pickaxe on toolchain f9988fefd3add01f414f52b414308e7872622fee
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/alexjackson1/pickaxe already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rustsat-batsat v0.7.5
[INFO] [stderr]   Downloaded cc v1.2.57
[INFO] [stderr]   Downloaded bit-vec v0.5.1
[INFO] [stderr]   Downloaded assert_cmd v2.2.0
[INFO] [stderr]   Downloaded batsat v0.6.0
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.47
[INFO] [stderr]   Downloaded rustsat v0.7.5
[INFO] [stderr]   Downloaded zerocopy v0.8.47
[INFO] [stderr]   Downloaded rustsat-cadical v0.7.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07
[INFO] running `Command { std: "docker" "start" "-a" "bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07", kill_on_drop: false }`
[INFO] [stdout] bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291
[INFO] running `Command { std: "docker" "start" "-a" "99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling bit-vec v0.5.1
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling batsat v0.6.0
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling cpu-time v1.0.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling rustsat v0.7.5
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling rustsat-batsat v0.7.5
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling pickaxe-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.63s
[INFO] running `Command { std: "docker" "inspect" "99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291", kill_on_drop: false }`
[INFO] [stdout] 99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d
[INFO] running `Command { std: "docker" "start" "-a" "c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d", kill_on_drop: false }`
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling zerocopy v0.8.47
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling predicates-core v1.0.10
[INFO] [stderr]    Compiling assert_cmd v2.2.0
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling predicates-tree v1.0.13
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling bstr v1.12.1
[INFO] [stderr]    Compiling predicates v3.1.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling pickaxe-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 25.34s
[INFO] running `Command { std: "docker" "inspect" "c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d", kill_on_drop: false }`
[INFO] [stdout] c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970
[INFO] running `Command { std: "docker" "start" "-a" "d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pickaxe_rs-34aba6c2ee9d19b5)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/accrual_evaluator_tests.rs (/opt/rustwide/target/debug/deps/accrual_evaluator_tests-f472bf281290769c)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test basic_accrual::classical_divergence_baseline ... ok
[INFO] [stdout] test basic_accrual::reduction_property_unique_conclusions ... ok
[INFO] [stdout] test basic_accrual::accrual_equal_strength_mutual_defeat ... ok
[INFO] [stdout] test fixpoint_convergence::unattacked_premises_in ... ok
[INFO] [stdout] test accrual_principles::subsumption_preserves_justification ... ok
[INFO] [stdout] test fixpoint_convergence::mutual_rebuttal_cycle_undecided ... ok
[INFO] [stdout] test pipeline_integration::pipeline_accrual_constructor ... ok
[INFO] [stdout] test fixpoint_convergence::chain_of_five ... ok
[INFO] [stdout] test accrual_principles::flawed_arguments_excluded ... ok
[INFO] [stdout] test pipeline_integration::pipeline_equivalence_unique_conclusions ... ok
[INFO] [stdout] test accrual_equivalence_example_3_7 ... ok
[INFO] [stdout] test semantics_coverage::preferred_produces_multiple_labellings ... ok
[INFO] [stdout] test semantics_coverage::reduction_property_preferred ... ok
[INFO] [stdout] test semantics_coverage::stable_semantics ... ok
[INFO] [stdout] test semantics_coverage::dungean_inclusion_relationships ... ok
[INFO] [stdout] test legal_reasoning::legislative_debate_both_premises_defeated ... ok
[INFO] [stdout] test legal_reasoning::legislative_debate_equal_ordering_undecided ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.25s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/argument_construction_tests.rs (/opt/rustwide/target/debug/deps/argument_construction_tests-8c8ffd841452ea0e)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test test_empty_knowledge_base ... ok
[INFO] [stdout] test test_premise_only_no_rules ... ok
[INFO] [stdout] test test_multiple_proof_paths_preserved ... ok
[INFO] [stdout] test test_direct_sub_ids ... ok
[INFO] [stdout] test test_last_def_rules_definition_3_20_example ... ok
[INFO] [stdout] test test_store_all_arguments_order ... ok
[INFO] [stdout] test test_last_def_rules_defeasible_top ... ok
[INFO] [stdout] test test_property_combinations ... ok
[INFO] [stdout] test test_accessor_a3_strict_over_defeasible ... ok
[INFO] [stdout] test test_last_def_rules_premise_arg ... ok
[INFO] [stdout] test test_argument_ids_sequential ... ok
[INFO] [stdout] test test_accessor_a2_defeasible_inference ... ok
[INFO] [stdout] test test_no_duplicate_arguments ... ok
[INFO] [stdout] test test_accessor_a1_premise ... ok
[INFO] [stdout] test test_non_circular_paths_preserved ... ok
[INFO] [stdout] test test_store_arguments_for ... ok
[INFO] [stdout] test test_premises_multi_level ... ok
[INFO] [stdout] test test_last_def_rules_strict_top_propagation ... ok
[INFO] [stdout] test test_example_3_7_all_arguments_present ... ok
[INFO] [stdout] test test_store_conclusion_index_consistency ... ok
[INFO] [stdout] test test_store_get_valid_and_invalid_ids ... ok
[INFO] [stdout] test test_store_next_id ... ok
[INFO] [stdout] test test_three_rule_cycle_terminates ... ok
[INFO] [stdout] test test_two_rule_cycle_terminates ... ok
[INFO] [stdout] test test_zero_antecedent_rule ... ok
[INFO] [stdout] test test_sub_argument_ids_includes_self ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/attack_relations_tests.rs (/opt/rustwide/target/debug/deps/attack_relations_tests-feacfd8c98f3a0f0)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test test_empty_store_no_attacks ... ok
[INFO] [stdout] test test_no_contrariness_no_attacks ... ok
[INFO] [stdout] test test_axiom_only_no_attacks ... ok
[INFO] [stdout] test test_ordinary_premise_undermined ... ok
[INFO] [stdout] test test_example_4_1_no_undermine_across_domains ... ok
[INFO] [stdout] test test_pairwise_indexed_equivalence_example_4_1 ... ok
[INFO] [stdout] test test_example_3_7_attack_count ... ok
[INFO] [stdout] test test_example_4_1_no_rebut_on_strict_top ... ok
[INFO] [stdout] test contradictory_defeat_subject_to_preference ... ok
[INFO] [stdout] test test_attack_kind_fields_correct ... ok
[INFO] [stdout] test test_pairwise_indexed_equivalence_example_3_7 ... ok
[INFO] [stdout] test test_example_3_7_undercut_attacks ... ok
[INFO] [stdout] test test_example_3_7_no_attack_on_axiom_premise ... ok
[INFO] [stdout] test test_example_3_7_rebut_attacks ... ok
[INFO] [stdout] test test_example_4_1_rebut_on_defeasible_sub ... ok
[INFO] [stdout] test test_axiom_premise_not_undermined ... ok
[INFO] [stdout] test contrary_defeat_bypasses_preference ... ok
[INFO] [stdout] test test_named_rule_undercut ... ok
[INFO] [stdout] test test_relation_between_contradictory ... ok
[INFO] [stdout] test test_example_3_7_undermine_attacks ... ok
[INFO] [stdout] test test_example_3_7_no_rebut_on_strict_top ... ok
[INFO] [stdout] test test_relation_between_classical_negation ... ok
[INFO] [stdout] test test_relation_between_contrary ... ok
[INFO] [stdout] test test_self_attack ... ok
[INFO] [stdout] test test_unnamed_rule_not_undercut ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/classical_examples.rs (/opt/rustwide/target/debug/deps/classical_examples-d50c51c544d3ba85)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test chained_strict_reasoning ... ok
[INFO] [stdout] test strict_reasoning ... ok
[INFO] [stdout] test nixon_diamond ... ok
[INFO] [stdout] test tweety_triangle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_integration.rs (/opt/rustwide/target/debug/deps/cli_integration-937ca16b895ef521)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/consistency_tests.rs (/opt/rustwide/target/debug/deps/consistency_tests-7ed0e139cb660dfe)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test directly_consistent_empty_set ... ok
[INFO] [stdout] test directly_inconsistent_classical_negation ... ok
[INFO] [stdout] test directly_consistent_no_conflict ... ok
[INFO] [stdout] test directly_consistent_but_indirectly_inconsistent ... ok
[INFO] [stdout] test directly_consistent_singleton ... ok
[INFO] [stdout] test directly_inconsistent_explicit_contrary ... ok
[INFO] [stdout] test indirectly_and_directly_consistent ... ok
[INFO] [stdout] test indirectly_inconsistent_via_strict_rule ... ok
[INFO] [stdout] test indirect_consistency_no_strict_rules_equals_direct ... ok
[INFO] [stdout] test strict_closure_chained_rules ... ok
[INFO] [stdout] test strict_closure_basic ... ok
[INFO] [stdout] test strict_closure_idempotence ... ok
[INFO] [stdout] test strict_closure_no_rules ... ok
[INFO] [stdout] test strict_closure_empty_initial_set ... ok
[INFO] [stdout] test strict_closure_no_applicable_rules ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/contrariness_validation_tests.rs (/opt/rustwide/target/debug/deps/contrariness_validation_tests-58a0469c2b8f1949)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test classical_negation_disabled_by_default ... ok
[INFO] [stdout] test classical_negation_makes_p_and_neg_p_contraries ... ok
[INFO] [stdout] test classical_negation_with_predicate_atom ... ok
[INFO] [stdout] test contradictory_is_symmetric ... ok
[INFO] [stdout] test contradictory_entries_have_contradictory_relation ... ok
[INFO] [stdout] test contraries_of_returns_explicit_entries ... ok
[INFO] [stdout] test contraries_of_returns_no_duplicates_with_classical_negation ... ok
[INFO] [stdout] test contraries_of_union_of_explicit_and_classical ... ok
[INFO] [stdout] test contrary_is_asymmetric ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cross_cutting_tests.rs (/opt/rustwide/target/debug/deps/cross_cutting_tests-41eb80234b8b61a4)
[INFO] [stdout] 
[INFO] [stdout] running 31 tests
[INFO] [stdout] test error_handling::aspartix_parse_bad_syntax ... ok
[INFO] [stdout] test error_handling::error_display_messages ... ok
[INFO] [stdout] test error_handling::aspartix_parse_undefined_argument ... ok
[INFO] [stdout] test error_handling::all_variants_constructable ... ok
[INFO] [stdout] test export::aspartix_format_conformance ... ok
[INFO] [stdout] test export::aspartix_round_trip ... ok
[INFO] [stdout] test export::iccma_empty_framework ... ok
[INFO] [stdout] test export::tgf_empty_framework ... ok
[INFO] [stdout] test export::dot_format_conformance ... ok
[INFO] [stdout] test export::dot_escapes_quotes ... ok
[INFO] [stdout] test export::iccma_format_conformance ... ok
[INFO] [stdout] test export::tgf_format_conformance ... ok
[INFO] [stdout] test pipeline::trait_objects_are_send_sync ... ok
[INFO] [stdout] test serialization::classical_negation_flag_preserved ... ok
[INFO] [stdout] test serialization::contradictory_pair_deduplication ... ok
[INFO] [stdout] test pipeline::trait_substitutability ... ok
[INFO] [stdout] test pipeline::classical_pipeline_equal_ordering ... ok
[INFO] [stdout] test pipeline::classical_pipeline_scenario_a ... ok
[INFO] [stdout] test serialization::serializable_system_captures_all_fields ... ok
[INFO] [stdout] test pipeline::optimised_matches_classical ... ok
[INFO] [stdout] test unknown_contrariness_relation_returns_error ... ok
[INFO] [stdout] test serialization::empty_system_round_trip ... ok
[INFO] [stdout] test serialization::json_round_trip_grounded ... ok
[INFO] [stdout] test pipeline::pipeline_result_fields_populated ... ok
[INFO] [stdout] test serialization::round_trip_with_nontrivial_ordering ... ok
[INFO] [stdout] test unknown_premise_kind_returns_error ... ok
[INFO] [stdout] test json_round_trip_property ... ok
[INFO] [stdout] test serialization::toml_round_trip_grounded ... ok
[INFO] [stdout] test pipeline::pipeline_multiple_semantics ... ok
[INFO] [stdout] test toml_json_equivalence_property ... ok
[INFO] [stdout] test serialization::round_trip_preferred_and_stable ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/formula_validation_tests.rs (/opt/rustwide/target/debug/deps/formula_validation_tests-56f62fb662c389a9)
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test classical_negation_of_neg_literal_yields_pos ... ok
[INFO] [stdout] test classical_negation_of_pos_literal_yields_neg ... ok
[INFO] [stdout] test disjunction_macro ... ok
[INFO] [stdout] test classical_negation_of_and_wraps_in_not ... ok
[INFO] [stdout] test conjunction_macro ... ok
[INFO] [stdout] test classical_negation_of_implies_wraps_in_not ... ok
[INFO] [stdout] test double_negate_is_identity ... ok
[INFO] [stdout] test implication_macro ... ok
[INFO] [stdout] test neg_negate_yields_pos ... ok
[INFO] [stdout] test mixed_variables_and_constants ... ok
[INFO] [stdout] test negated_atom_with_terms ... ok
[INFO] [stdout] test lowercase_identifier_is_constant ... ok
[INFO] [stdout] test negated_propositional_atom ... ok
[INFO] [stdout] test pos_negate_yields_neg ... ok
[INFO] [stdout] test propositional_atom_has_no_terms ... ok
[INFO] [stdout] test uppercase_identifier_is_variable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/grounding_tests.rs (/opt/rustwide/target/debug/deps/grounding_tests-5cbe8f6a304a45ae)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test formula_substitution ... ok
[INFO] [stdout] test contrariness_grounding_shared_variables ... ok
[INFO] [stdout] test formula_is_ground ... ok
[INFO] [stdout] test formula_variable_collection ... ok
[INFO] [stderr]      Running tests/instantiation_pattern_tests.rs (/opt/rustwide/target/debug/deps/instantiation_pattern_tests-16b520bf39d4a35f)
[INFO] [stdout] test grounding_already_ground ... ok
[INFO] [stdout] test grounding_does_not_inject_default_when_constants_exist ... ok
[INFO] [stdout] test grounding_conservative_instantiation ... ok
[INFO] [stdout] test grounding_injects_default_when_no_constants ... ok
[INFO] [stdout] test grounding_preserves_contrariness_relation_types ... ok
[INFO] [stdout] test grounding_preserves_premise_kinds ... ok
[INFO] [stdout] test grounding_multiple_variables ... ok
[INFO] [stdout] test strict_cycle_terminates_safely ... ok
[INFO] [stdout] test grounding_single_variable ... ok
[INFO] [stdout] test grounding_preserves_defeasible_rule_names ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test test_no_defeasible_rules_max_consistent_subsets ... ok
[INFO] [stdout] test test_no_defeasible_rules_total_ordering ... ok
[INFO] [stdout] test test_no_defeasible_rules_undermining_only ... ok
[INFO] [stdout] test test_tweety_material_implications ... ok
[INFO] [stdout] test test_negation_as_failure_defeats_bypass_preferences ... ok
[INFO] [stdout] test test_negation_as_failure_asymmetric_direction ... ok
[INFO] [stdout] test test_negation_as_failure_contrary_attack ... ok
[INFO] [stdout] test test_witness_testimony_attack_relations ... ok
[INFO] [stdout] test test_bachelor_married_material_implication ... ok
[INFO] [stdout] test test_witness_testimony_argument_construction ... ok
[INFO] [stdout] test test_witness_testimony_extensions ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.21s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ordering_reasonableness_tests.rs (/opt/rustwide/target/debug/deps/ordering_reasonableness_tests-ae6324725e8bade3)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test strict_firm_preferred ... ok
[INFO] [stdout] test ordering_acyclicity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/orderings_and_defeat_tests.rs (/opt/rustwide/target/debug/deps/orderings_and_defeat_tests-1701eae18816fe69)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test democratic_strict_empty_handling ... ok
[INFO] [stdout] test democratic_strict_forall_exists ... ok
[INFO] [stdout] test last_link_missing_argument_id ... ok
[INFO] [stdout] test defeat_last_link_example ... ok
[INFO] [stdout] test dyrkolbotn_corrected_elitist_no_false_strict ... ok
[INFO] [stdout] test last_link_example_3_25_library_access ... ok
[INFO] [stdout] test last_link_democratic_vs_elitist ... ok
[INFO] [stdout] test defeat_comparison_point_is_target_sub ... ok
[INFO] [stdout] test defeat_weakest_link_example ... ok
[INFO] [stdout] test no_preference_ordering ... ok
[INFO] [stdout] test preference_is_leq ... ok
[INFO] [stdout] test last_link_ordering_basic ... ok
[INFO] [stdout] test tiered_ordering_example ... ok
[INFO] [stdout] test tiered_ordering_formula_as_premise_ordering ... ok
[INFO] [stdout] test tiered_ordering_tiered_vs_untiered ... ok
[INFO] [stdout] test tiered_rule_ordering ... ok
[INFO] [stdout] test elitist_vs_democratic_lifted_difference ... ok
[INFO] [stdout] test last_link_ordering_mixed_last_rules ... ok
[INFO] [stdout] test last_link_example_3_22 ... ok
[INFO] [stdout] test last_link_premise_fallback ... ok
[INFO] [stdout] test weakest_link_example_3_25_library_access ... ok
[INFO] [stdout] test weakest_link_firm_but_defeasible ... ok
[INFO] [stdout] test weakest_link_firm_strict_equal ... ok
[INFO] [stdout] test weakest_link_democratic_vs_elitist ... ok
[INFO] [stdout] test weakest_link_example_3_24 ... ok
[INFO] [stdout] test weakest_link_firm_strict_vs_nonfirm ... ok
[INFO] [stdout] test weakest_link_strict_but_plausible ... ok
[INFO] [stdout] test undercut_always_succeeds_regardless_of_ordering ... ok
[INFO] [stdout] test weakest_link_missing_argument_id ... ok
[INFO] [stdout] test deterministic_incomparable_ordering ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/postulate_tests.rs (/opt/rustwide/target/debug/deps/postulate_tests-f57bf61717bd2339)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test contraposition_closure_missing_modus_tollens ... ok
[INFO] [stdout] test contraposition_closure_empty_rules ... ok
[INFO] [stdout] test bachelor_married_no_transposition ... ok
[INFO] [stdout] test contraposition_closure_classical_logic ... ok
[INFO] [stdout] test bachelor_married_with_transposition ... ok
[INFO] [stdout] test example_4_4_with_transposition ... ok
[INFO] [stdout] test example_4_4_no_transposition ... ok
[INFO] [stdout] test postulate_satisfaction ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pyarg_tests.rs (/opt/rustwide/target/debug/deps/pyarg_tests-aade08d0cbc4fa91)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test pyarg_af_from_scratch ... ok
[INFO] [stdout] test pyarg_modgil_prakken_aij_argument_count ... ok
[INFO] [stdout] test pyarg_af_from_aspartix ... ok
[INFO] [stdout] test pyarg_modgil_prakken_aij_attack_count_extended ... ok
[INFO] [stdout] test pyarg_modgil_prakken_aij_defeat_count ... ok
[INFO] [stdout] test pyarg_af_complete_semantics ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/running_example_tests.rs (/opt/rustwide/target/debug/deps/running_example_tests-7fe91e5408e1c19d)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test test_04_extensions_scenario_a ... ok
[INFO] [stdout] test test_02_attack_classification ... ok
[INFO] [stdout] test test_05_extensions_scenario_b ... ok
[INFO] [stdout] test test_03_defeat_with_last_link ... ok
[INFO] [stdout] test test_10_bachelor_married_no_transposition ... ok
[INFO] [stdout] test test_15b_undermining_premise_preferred ... ok
[INFO] [stdout] test test_15c_undermining_defeasible_preferred ... ok
[INFO] [stdout] test test_16_strict_rules_cannot_be_attacked ... ok
[INFO] [stdout] test test_01_argument_construction ... ok
[INFO] [stdout] test test_18_self_defeating_argument ... ok
[INFO] [stdout] test test_08_transposition ... ok
[INFO] [stdout] test test_17_last_def_rules_through_mixed_chains ... ok
[INFO] [stdout] test test_15a_undermining_no_preferences ... ok
[INFO] [stdout] test test_11a_library_access_last_link ... ok
[INFO] [stdout] test test_19_odd_cycle_three_arguments ... ok
[INFO] [stdout] test test_14_undercutting_immune_to_preferences ... ok
[INFO] [stdout] test test_12_scottish_whisky_weakest_link ... ok
[INFO] [stdout] test test_20_even_cycle_two_arguments ... ok
[INFO] [stdout] test test_13_tweety_undercutting ... ok
[INFO] [stdout] test test_06_extensions_scenario_c ... ok
[INFO] [stdout] test test_09_bachelor_married ... ok
[INFO] [stdout] test test_11b_library_access_weakest_link ... ok
[INFO] [stderr]      Running tests/saf_and_af_tests.rs (/opt/rustwide/target/debug/deps/saf_and_af_tests-e6f38f1b127eb050)
[INFO] [stdout] test test_07_extensions_scenario_d ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test af_empty_store_produces_empty_framework ... ok
[INFO] [stdout] test af_all_undercut_attacks_become_defeats ... ok
[INFO] [stdout] test af_deduplicates_defeat_pairs ... ok
[INFO] [stdout] test af_attackers_of_returns_correct_set ... ok
[INFO] [stdout] test af_arguments_match_store ... ok
[INFO] [stdout] test defeat_rebut_succeeds_when_equal_or_preferred ... ok
[INFO] [stdout] test complete_fixed_point ... ok
[INFO] [stdout] test defeat_all_attacks_succeed_with_no_preference ... ok
[INFO] [stdout] test defends_vacuous_no_attackers ... ok
[INFO] [stdout] test defends_requires_counter ... ok
[INFO] [stdout] test defeat_undermine_blocked_when_strictly_dispreffered ... ok
[INFO] [stdout] test af_attacked_by_returns_correct_set ... ok
[INFO] [stdout] test example_3_18_case_1_d4_strictly_preferred ... ok
[INFO] [stdout] test classical_evaluator_produces_correct_af ... ok
[INFO] [stdout] test different_orderings_produce_different_afs ... ok
[INFO] [stdout] test stable_attacks_all_outsiders ... ok
[INFO] [stdout] test defeat_rebut_blocked_when_strictly_dispreffered ... ok
[INFO] [stdout] test stable_not_conflict_free_fails ... ok
[INFO] [stdout] test admissible_empty_set ... ok
[INFO] [stdout] test af_no_attacks_all_conflict_free ... ok
[INFO] [stdout] test example_3_18_case_3_mutual_defeat ... ok
[INFO] [stdout] test conflict_free_basic ... ok
[INFO] [stdout] test conflict_free_self_attack ... ok
[INFO] [stdout] test admissible_defends_all_members ... ok
[INFO] [stdout] test example_3_18_case_2_b2_strictly_preferred ... ok
[INFO] [stderr]      Running tests/semantics_tests.rs (/opt/rustwide/target/debug/deps/semantics_tests-8b769b9896694e2f)
[INFO] [stdout] test defeat_undercut_always_succeeds ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 45 tests
[INFO] [stdout] test admissible_labelling_chain ... ok
[INFO] [stdout] test admissible_labelling_empty_extension ... ok
[INFO] [stdout] test admissible_self_attack ... ok
[INFO] [stdout] test admissible_mutual_defeat ... ok
[INFO] [stdout] test admissible_empty_af ... ok
[INFO] [stdout] test admissible_chain ... ok
[INFO] [stdout] test admissible_single_unattacked ... ok
[INFO] [stdout] test export_formats ... ok
[INFO] [stdout] test complete_mutual_attack ... ok
[INFO] [stdout] test benchmark_grounded_subset_of_preferred ... ok
[INFO] [stdout] test grounded_single_unattacked ... ok
[INFO] [stdout] test empty_framework ... ok
[INFO] [stdout] test grounded_mutual_attack ... ok
[INFO] [stdout] test grounded_chain ... ok
[INFO] [stdout] test grounded_labelling_test ... ok
[INFO] [stdout] test grounded_labelling_mutual ... ok
[INFO] [stdout] test ideal_with_unattacked ... ok
[INFO] [stdout] test eager_with_unattacked ... ok
[INFO] [stdout] test justification_sceptical_and_credulous ... ok
[INFO] [stdout] test preferred_mutual_attack ... ok
[INFO] [stdout] test odd_cycle_no_stable ... ok
[INFO] [stdout] test prop_stable_subset_of_preferred ... ok
[INFO] [stdout] test prop_labelling_in_args_eq_extension ... ok
[INFO] [stdout] test self_attack ... ok
[INFO] [stdout] test self_attack_all_semantics ... ok
[INFO] [stdout] test semi_stable_mutual_defeat ... ok
[INFO] [stdout] test semi_stable_three_cycle ... ok
[INFO] [stdout] test admissible_sets_are_self_defending ... ok
[INFO] [stdout] test stable_labellings_no_undec ... ok
[INFO] [stdout] test admissible_always_includes_empty_set ... ok
[INFO] [stdout] test admissible_sets_are_conflict_free ... ok
[INFO] [stdout] test admissible_complete_extensions_are_admissible ... ok
[INFO] [stdout] test prop_grounded_subset_of_preferred ... ok
[INFO] [stdout] test admissible_preferred_extensions_are_admissible ... ok
[INFO] [stdout] test prop_preferred_is_complete ... ok
[INFO] [stdout] test stable_mutual_attack ... ok
[INFO] [stdout] test admissible_labellings_are_consistent ... ok
[INFO] [stdout] test prop_labelling_partitions_af ... ok
[INFO] [stdout] test scc_admissible_matches_naive ... ok
[INFO] [stdout] test prop_ideal_subset_of_preferred ... ok
[INFO] [stdout] test sat_admissible_matches_naive ... ok
[INFO] [stdout] test smoke_arb_af_has_args ... ok
[INFO] [stdout] test prop_stable_labelling_no_undec ... ok
[INFO] [stdout] test prop_all_semantics_return_extensions ... ok
[INFO] [stdout] test scc_ideal_matches_naive ... ok
[INFO] [stderr]      Running tests/set_preference_and_trait_tests.rs (/opt/rustwide/target/debug/deps/set_preference_and_trait_tests-57f404066d225cc1)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 45 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.52s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test accrual_evaluator::accrual_evaluator_implements_evaluator ... ok
[INFO] [stdout] test accrual_evaluator::evaluator_trait_object_safe ... ok
[INFO] [stdout] test accrual_evaluator::classical_baseline_for_accrual_divergence ... ok
[INFO] [stdout] test set_preference::democratic_dominance ... ok
[INFO] [stdout] test set_preference::elitist_democratic_divergence ... ok
[INFO] [stdout] test set_preference::empty_set_rules ... ok
[INFO] [stdout] test set_preference::elitist_dominance ... ok
[INFO] [stdout] test accrual_evaluator::accrual_example_4_2_divergence ... ok
[INFO] [stdout] test set_preference::equal_singleton_sets ... ok
[INFO] [stdout] test property_tests::democratic_reflexive ... ok
[INFO] [stderr]      Running tests/solver_backend_tests.rs (/opt/rustwide/target/debug/deps/solver_backend_tests-a001901f08817c6a)
[INFO] [stdout] test property_tests::elitist_reflexive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 46 tests
[INFO] [stdout] test sat_backend_tests::sat_admissible_empty_af ... ok
[INFO] [stdout] test sat_backend_tests::sat_grounded_matches_naive ... ok
[INFO] [stdout] test sat_backend_tests::sat_admissible_chain ... ok
[INFO] [stdout] test sat_backend_tests::sat_stable_chain ... ok
[INFO] [stdout] test sat_backend_tests::sat_complete_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::sat_preferred_chain ... ok
[INFO] [stdout] test sat_backend_tests::sat_stable_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::sat_preferred_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_admissible_chain ... ok
[INFO] [stdout] test indexed_attack_matches_pairwise ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_admissible_out_attacker ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_complete_chain ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_grounded_matches_naive ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_ideal_chain ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_ideal_mutual_attack_with_unattacked ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_complete ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_ideal_multi_scc ... ok
[INFO] [stdout] test optimised_pipeline_matches_classical ... ok
[INFO] [stdout] test sat_backend_tests::sat_admissible_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::sat_complete_chain ... ok
[INFO] [stdout] test sat_backend_tests::sat_empty_framework ... ok
[INFO] [stdout] test sat_backend_tests::sat_stable_self_attack ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_admissible_chain ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_admissible_out_attacker ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_out_attacker_stable ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_preferred_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_stable_chain ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_admissible_empty_af ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_admissible_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_admissible_no_attacks ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_grounded ... ok
[INFO] [stdout] test sat_backend_tests::scc_sat_out_attacker_complete ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_preferred_mutual_attack ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_preferred ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_stable ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_stable_matches_naive ... ok
[INFO] [stdout] test sat_backend_tests::scc_solver_undecided_attacker_grounded ... ok
[INFO] [stdout] test scc_cycle_of_three ... ok
[INFO] [stdout] test scc_two_components ... ok
[INFO] [stdout] test semi_naive_matches_naive_on_ground_system ... ok
[INFO] [stdout] test sub_framework_extracts_correctly ... ok
[INFO] [stdout] test scc_diamond ... ok
[INFO] [stdout] test scc_single_argument ... ok
[INFO] [stdout] test scc_linear_chain ... ok
[INFO] [stdout] test scc_mutual_attack ... ok
[INFO] [stdout] test semi_naive_produces_valid_grounded_system ... ok
[INFO] [stderr]      Running tests/system_validation_tests.rs (/opt/rustwide/target/debug/deps/system_validation_tests-ede1153a6ef6b66a)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 46 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 38 tests
[INFO] [stdout] test axiom_premise_kind ... ok
[INFO] [stdout] test aspic_system_bundles_as_and_k ... ok
[INFO] [stdout] test builder_fluent_api_all_methods ... ok
[INFO] [stdout] test closed_transposition_no_warning ... ok
[INFO] [stdout] test build_returns_tuple_with_empty_warnings_for_well_defined_at ... ok
[INFO] [stdout] test contrary_well_formedness_no_warning_for_contradictory ... ok
[INFO] [stdout] test consistent_axioms_no_warning ... ok
[INFO] [stdout] test contraposition_not_checked_at_build_time ... ok
[INFO] [stdout] test contrary_well_formedness_no_warning_when_valid ... ok
[INFO] [stdout] test contrary_well_formedness_target_is_axiom ... ok
[INFO] [stdout] test domain_specific_rules ... ok
[INFO] [stdout] test edge_case_combined_warnings ... ok
[INFO] [stdout] test edge_case_duplicate_formulae_across_premise_kinds ... ok
[INFO] [stdout] test edge_case_empty_knowledge_base ... ok
[INFO] [stdout] test edge_case_empty_defeasible_rules ... ok
[INFO] [stdout] test contrary_well_formedness_target_is_strict_consequent ... ok
[INFO] [stdout] test edge_case_empty_strict_rules ... ok
[INFO] [stdout] test defeasible_rule_has_id_antecedents_consequent_name ... ok
[INFO] [stdout] test indirect_axiom_inconsistency_via_strict_closure ... ok
[INFO] [stdout] test inconsistent_axioms_produce_warning ... ok
[INFO] [stdout] test named_rule_has_n_defined ... ok
[INFO] [stdout] test multi_antecedent_fully_closed ... ok
[INFO] [stdout] test premise_kind_partition_exhaustive ... ok
[INFO] [stderr]      Running tests/task_mode_tests.rs (/opt/rustwide/target/debug/deps/task_mode_tests-998a9e4adcbe5b62)
[INFO] [stdout] test rule_enum_antecedents_accessor ... ok
[INFO] [stdout] test multi_antecedent_transposition ... ok
[INFO] [stdout] test rule_id_and_name_are_distinct ... ok
[INFO] [stdout] test missing_transposition_produces_warning ... ok
[INFO] [stdout] test rules_are_meta_level_not_formulae_in_l ... ok
[INFO] [stdout] test unnamed_rule_has_n_undefined ... ok
[INFO] [stdout] test ordinary_premise_kind ... ok
[INFO] [stdout] test rule_enum_consequent_accessor ... ok
[INFO] [stdout] test rule_enum_id_accessor ... ok
[INFO] [stdout] test rule_enum_is_strict_is_defeasible ... ok
[INFO] [stdout] test strict_rule_has_id_antecedents_consequent ... ok
[INFO] [stdout] test standalone_consistency_check_still_available ... ok
[INFO] [stdout] test knowledge_base_contains_premises ... ok
[INFO] [stdout] test two_way_premise_classification_via_builder ... ok
[INFO] [stdout] test strict_and_defeasible_rules_in_separate_collections ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test find_one_no_stable_on_odd_cycle_naive ... ok
[INFO] [stdout] test find_one_no_stable_on_odd_cycle_sat_scc ... ok
[INFO] [stdout] test count_no_stable_on_odd_cycle_naive ... ok
[INFO] [stdout] test count_unique_semantics_returns_one_naive ... ok
[INFO] [stdout] test find_one_unique_semantics_matches_extensions_naive ... ok
[INFO] [stdout] test empty_framework_find_one_and_count_naive ... ok
[INFO] [stdout] test empty_framework_find_one_and_count_cross_backend ... ok
[INFO] [stdout] test find_one_unique_semantics_matches_extensions_sat ... ok
[INFO] [stdout] test count_no_stable_on_odd_cycle_sat_scc ... ok
[INFO] [stdout] test find_one_unique_semantics_matches_extensions_scc ... ok
[INFO] [stdout] test count_matches_extensions_len_naive ... ok
[INFO] [stdout] test count_unique_semantics_returns_one_sat_scc ... ok
[INFO] [stdout] test find_one_result_is_member_of_extensions_sat ... ok
[INFO] [stdout] test find_one_result_is_member_of_extensions_naive ... ok
[INFO] [stdout] test find_one_cross_backend_agreement ... ok
[INFO] [stdout] test count_matches_extensions_len_sat ... ok
[INFO] [stdout] test count_cross_backend_agreement ... ok
[INFO] [stdout] test find_one_result_is_member_of_extensions_scc ... ok
[INFO] [stdout] test count_matches_extensions_len_scc ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/undercut_tests.rs (/opt/rustwide/target/debug/deps/undercut_tests-5417440846f00ee9)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test basic_undercut ... ok
[INFO] [stderr]    Doc-tests pickaxe_rs
[INFO] [stdout] test undercut_always_succeeds ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test src/pipeline/evaluation/sat_solver.rs - pipeline::evaluation::sat_solver::SatSolver (line 42) ... ignored
[INFO] [stdout] test src/io/export.rs - io::export (line 16) ... ok
[INFO] [stdout] test src/pipeline/mod.rs - pipeline::AspicPipeline::optimised (line 170) ... ok
[INFO] [stdout] test src/system/consistency.rs - system::consistency::is_directly_consistent (line 76) ... ok
[INFO] [stdout] test src/lib.rs - (line 24) ... ok
[INFO] [stdout] test src/language/macros.rs - language::macros::formula (line 8) ... ok
[INFO] [stdout] test src/system/builder.rs - system::builder::AspicSystemBuilder (line 23) ... ok
[INFO] [stdout] test src/io/native.rs - io::native::SerializableSystem (line 77) ... ok
[INFO] [stdout] test src/pipeline/mod.rs - pipeline::AspicPipeline::accrual (line 196) ... ok
[INFO] [stdout] test src/pipeline/mod.rs - pipeline::PipelineResult (line 101) ... ok
[INFO] [stdout] test src/io/simple.rs - io::simple::build_system (line 140) ... ok
[INFO] [stdout] test src/framework/abstract_af.rs - framework::abstract_af::AbstractFramework (line 40) ... ok
[INFO] [stdout] test src/system/consistency.rs - system::consistency::is_indirectly_consistent (line 116) ... ok
[INFO] [stdout] test src/pipeline/mod.rs - pipeline::AspicPipeline::classical (line 141) ... ok
[INFO] [stdout] test src/framework/argument_store.rs - framework::argument_store::ArgumentStore (line 31) ... ok
[INFO] [stdout] test src/pipeline/mod.rs - pipeline (line 42) ... ok
[INFO] [stdout] test src/framework/semantics.rs - framework::semantics::Semantics (line 62) ... ok
[INFO] [stdout] test src/system/ordering/mod.rs - system::ordering::TieredOrdering (line 174) ... ok
[INFO] [stdout] test src/system/ordering/weakest_link.rs - system::ordering::weakest_link::WeakestLinkOrdering (line 30) ... ok
[INFO] [stdout] test src/system/ordering/last_link.rs - system::ordering::last_link::LastLinkOrdering (line 25) ... ok
[INFO] [stdout] test src/system/consistency.rs - system::consistency::strict_closure (line 30) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 3.45s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970", kill_on_drop: false }`
[INFO] [stdout] d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970
